package de.jmda.util.gui.swing;

import java.io.File;

public interface ChangeDirectoryListener
{
	void changeDirectory(File directory);
}